翻訳と辞書 Words near each other ・ Types of artificial neural networks ・ Types of Bakuvian Bazaars ・ Type class ・ Type code ・ Type color ・ Type constructor ・ Type Control ・ Type conversion ・ Type D escort ship ・ Type D personality ・ Type D submarine ・ Type Description Language ・ Type design ・ Type Directors Club ・ Type enforcement ・ Type erasure ・ Type family ・ Type foundry ・ Type Four platform ・ Type generalization ・ Type genus ・ Type H/PJ38 130 mm naval gun ・ Type I and type II errors ・ Type I collagen ・ Type I cytokine receptor ・ Type I hair keratin ・ Type I hypersensitivity ・ Type I keratin ・ Type I Rifle ・ Type I site-specific deoxyribonuclease Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Type erasure ： ウィキペディア英語版 Type erasure In programming languages, type erasure refers to the compile-time process by which explicit type annotations are removed from a program, before it is executed at run-time. Operational semantics that do not require programs to be accompanied by types are called ''type-erasure semantics'', to be contrasted with ''type-passing semantics''. The possibility of giving type-erasure semantics is a kind of abstraction principle, ensuring that the run-time execution of a program does not depend on type information. In the context of generic programming, the opposite of type erasure is called reification.〔(【引用サイトリンク】first1=Angelika )〕 ==Reverse operation== (詳細はtype inference. Though type erasure can be used as an easy way to define typing over implicitly typed languages (an implicitly typed term is well-typed if and only if it is the erasure of a well-typed explicitly typed lambda term), it does not always lead to an algorithm to check implicitly typed terms. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Type erasure」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.